symbolic logic
英 [sɪmˈbɒlɪk ˈlɒdʒɪk]
美 [sɪmˈbɑːlɪk ˈlɑːdʒɪk]
网络 数理逻辑; 符号逻辑; 符号逻辑学; 逻辑数理; 象征逻辑
英英释义
noun
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
双语例句
- Metaphor can be seen from the mythological thinking of some of the original and narrative features of Greek mythology, such as symbolic of the mythological narrative, absurdity, and special logic.
从神话思维的隐喻性可见希腊神话某些原初性的叙事特征，如神话叙事的象征性、荒诞性、特殊的逻辑性等。 - Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.
最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。 - To the lay mind, symbolic logic can be very difficult.
对外行的人来讲，符号逻辑可能非常难。 - The symbolic view generally does not consider the specific cryptographic algorithm, but see the message as symbol having special meaning, then analyze the protocol whether it could achieve the anticipative goal using formal logic and theorem proof.
符号观点一般不考虑安全协议使用的具体密码算法，而是把安全协议的安全特性抽象成一组可操作的符号，然后用形式逻辑或定理证明的方法来分析协议是否能达到预期的安全目标。 - Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。 - Formal expression of rule is established based on symbolic logic firstly. The knowledge-based diagnosis method, relevant theorems and rule indexing approach adaptive for fast diagnosis and knowledge evolvement online are established.
为了便于快速诊断和规则的在线演化，本论文首先基于数理逻辑建立规则的一般表达方法，并在此基础上提出了适合知识在线演化的基于知识的诊断方法及相关定理和规则索引方法。 - In symbolic logic and mechanical theorem proving, semantic resolution PI-clash is related to the order of electrons.
符号逻辑与定理机器证明的研究中，语义归结PI碰撞与电子排列次序有关。 - A person skilled at symbolic logic.
熟练于逻辑符号的人。 - The Logic-information method is one kind of theories of quantification, and it is a comprehensive mathematical analysis method based on symbolic logic, Comprehensive analysis, and mathematical statistics.
逻辑信息法是数量化理论的一种，该方法是以数理逻辑、组合分析及数理统计为基础的一种综合数学分方法。 - In the game world, the symbolic capital have many types, and in children play, the carrying logic of symbolic capital is diplex, it is the copy and distortion of the substantiality world as well as the feebleness expedience in game world.
在游戏世界中，儿童的象征资本有不同的类型，且其运作逻辑是双重的，既有对实体世界的复制与变形，又有游戏世界中的弱者权宜。